Homework 1 on Search

We provide a formal proof on

  • The graph separation property in graph search
  • The optimality on uniform-cost search

Please check the following pdf.
(Thanks to Qinlin Zhu.)

0%